#include "vgastr.h"

void main() {
    printf("Hello OS!");
}